Bob is furry. Bob is green. Charlie is furry. Charlie is green. Dave is cold. Dave is furry. Dave is green. Dave is kind. Dave is smart. Dave is white. Fiona is furry. Fiona is green. Fiona is kind. Fiona is nice. Fiona is white. If someone is furry then they are smart. Smart people are kind. All cold people are kind.
Bob is furry.
("Bob" "is" "furry" "+")
Bob is green.
("Bob" "is" "green" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Dave is white.
("Dave" "is" "white" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is white.
("Fiona" "is" "white" "+")
If someone is furry then they are smart.
((("someone" "is" "furry" "+")) -> ("someone" "is" "smart" "+"))
Smart people are kind.
((("someone" "is" "smart" "+")) -> ("someone" "is" "kind" "+"))
All cold people are kind.
((("someone" "is" "cold" "+")) -> ("someone" "is" "kind" "+"))
Fiona is white.
True
1
proof
[(triple15)]
("Fiona" "is" "white" "+")
triple15
Dave is not furry.
False
1
inv-proof
[(triple6)]
("Dave" "is" "furry" "-")
triple6
Charlie is smart.
True
2
proof
[(((triple3) -> rule1))]
("Charlie" "is" "smart" "+")
((triple3) -> (rule1 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Fiona is not smart.
False
2
inv-proof
[(((triple11) -> rule1))]
("Fiona" "is" "smart" "-")
((triple11) -> (rule1 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Bob is not nice.
Unknown
inv-random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "-")
Charlie is nice.
Unknown
random
[@0: Charlie is nice.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "nice" "+")
Bob is not white.
Unknown
inv-random
[@0: Bob is white.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "white" "-")
Charlie is cold.
Unknown
random
[@0: Charlie is cold.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "cold" "+")
@0: Bob is furry.[(triple1)] Bob is green.[(triple2)] Charlie is furry.[(triple3)] Charlie is green.[(triple4)] Dave is cold.[(triple5)] Dave is furry.[(triple6)] Dave is green.[(triple7)] Dave is kind.[(triple8 OR ((triple5) -> rule3) OR ((triple9) -> rule2) OR ((((triple6) -> rule1)) -> rule2))] Dave is smart.[(triple9 OR ((triple6) -> rule1))] Dave is white.[(triple10)] Fiona is furry.[(triple11)] Fiona is green.[(triple12)] Fiona is kind.[(triple13 OR ((((triple11) -> rule1)) -> rule2))] Fiona is nice.[(triple14)] Fiona is white.[(triple15)] @1: Bob is smart.[(((triple1) -> rule1))] Charlie is smart.[(((triple3) -> rule1))] Fiona is smart.[(((triple11) -> rule1))] @2: Bob is kind.[(((((triple1) -> rule1)) -> rule2))] Charlie is kind.[(((((triple3) -> rule1)) -> rule2))]
Bob is furry.
("Bob" "is" "furry" "+")
triple1
Bob is green.
("Bob" "is" "green" "+")
triple2
Charlie is furry.
("Charlie" "is" "furry" "+")
triple3
Charlie is green.
("Charlie" "is" "green" "+")
triple4
Dave is cold.
("Dave" "is" "cold" "+")
triple5
Dave is furry.
("Dave" "is" "furry" "+")
triple6
Dave is green.
("Dave" "is" "green" "+")
triple7
Dave is kind.
("Dave" "is" "kind" "+")
triple8
((triple5) -> (rule3 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
((triple9) -> (rule2 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
((((triple6) -> (rule1 % int2))) -> (rule2 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
triple9
((triple6) -> (rule1 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
triple10
Fiona is furry.
("Fiona" "is" "furry" "+")
triple11
Fiona is green.
("Fiona" "is" "green" "+")
triple12
Fiona is kind.
("Fiona" "is" "kind" "+")
triple13
((((triple11) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
triple14
Fiona is white.
("Fiona" "is" "white" "+")
triple15
Bob is smart.
("Bob" "is" "smart" "+")
((triple1) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
((triple3) -> (rule1 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
((triple11) -> (rule1 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
((((triple1) -> (rule1 % int2))) -> (rule2 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
((((triple3) -> (rule1 % int2))) -> (rule2 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2