Bob is big. Bob is not cold. Bob is red. Bob is not smart. Bob is not white. Charlie is big. Charlie is cold. Charlie is nice. Fiona is cold. Harry is not big. Harry is not cold. Harry is furry. Harry is nice. Harry is smart. Harry is white. All smart people are not red. If someone is cold and nice then they are smart. If Fiona is red then Fiona is white. If someone is cold and not smart then they are not furry. If Bob is nice and Bob is furry then Bob is red. All cold people are white. If someone is red and big then they are not white. If Bob is red then Bob is furry.
Bob is big.
("Bob" "is" "big" "+")
Bob is not cold.
("Bob" "is" "cold" "-")
Bob is red.
("Bob" "is" "red" "+")
Bob is not smart.
("Bob" "is" "smart" "-")
Bob is not white.
("Bob" "is" "white" "-")
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Harry is not big.
("Harry" "is" "big" "-")
Harry is not cold.
("Harry" "is" "cold" "-")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is smart.
("Harry" "is" "smart" "+")
Harry is white.
("Harry" "is" "white" "+")
All smart people are not red.
((("someone" "is" "smart" "+")) -> ("someone" "is" "red" "-"))
If someone is cold and nice then they are smart.
((("someone" "is" "cold" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "smart" "+"))
If Fiona is red then Fiona is white.
((("Fiona" "is" "red" "+")) -> ("Fiona" "is" "white" "+"))
If someone is cold and not smart then they are not furry.
((("someone" "is" "cold" "+") ("someone" "is" "smart" "~")) -> ("someone" "is" "furry" "-"))
If Bob is nice and Bob is furry then Bob is red.
((("Bob" "is" "nice" "+") ("Bob" "is" "furry" "+")) -> ("Bob" "is" "red" "+"))
All cold people are white.
((("someone" "is" "cold" "+")) -> ("someone" "is" "white" "+"))
If someone is red and big then they are not white.
((("someone" "is" "red" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "white" "-"))
If Bob is red then Bob is furry.
((("Bob" "is" "red" "+")) -> ("Bob" "is" "furry" "+"))
Bob is not cold.
True
1
proof
[(triple2)]
("Bob" "is" "cold" "-")
triple2
Harry is not smart.
False
1
inv-proof
[(triple14)]
("Harry" "is" "smart" "-")
triple14
Charlie is smart.
True
3
proof
[(((triple7 triple8) -> rule2))]
("Charlie" "is" "smart" "+")
((triple7 triple8) -> (rule2 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Bob is not furry.
False
2
inv-proof
[(((triple3) -> rule8))]
("Bob" "is" "furry" "-")
((triple3) -> (rule8 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Charlie is not red.
True
4
proof
[(((((triple7 triple8) -> rule2)) -> rule1))]
("Charlie" "is" "red" "-")
((((triple7 triple8) -> (rule2 % int2))) -> (rule1 % int1))
Charlie is not red.
("Charlie" "is" "red" "-")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is red.
False
4
inv-proof
[(((((triple7 triple8) -> rule2)) -> rule1))]
("Charlie" "is" "red" "+")
((((triple7 triple8) -> (rule2 % int2))) -> (rule1 % int1))
Charlie is not red.
("Charlie" "is" "red" "-")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Fiona is not smart.
Unknown
inv-rconc
[@1: Fiona is smart.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fiona" "is" "smart" "-")
Charlie is furry.
Unknown
random
[@0: Charlie is furry.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "furry" "+")
Bob is not nice.
Unknown
inv-random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "-")
Fiona is furry.
Unknown
random
[@0: Fiona is furry.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "furry" "+")
Fiona is not nice.
Unknown
inv-random
[@0: Fiona is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "nice" "-")
Fiona is red.
Unknown
random
[@0: Fiona is red.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "red" "+")
@0: Bob is big.[(triple1)] Bob is not cold.[(triple2)] Bob is not smart.[(triple4)] Bob is not white.[(triple5 OR ((triple3 triple1) -> rule7))] Bob is red.[(triple3)] Charlie is big.[(triple6)] Charlie is cold.[(triple7)] Charlie is nice.[(triple8)] Fiona is cold.[(triple9)] Harry is furry.[(triple12)] Harry is nice.[(triple13)] Harry is not big.[(triple10)] Harry is not cold.[(triple11)] Harry is smart.[(triple14)] Harry is white.[(triple15)] @1: Bob is furry.[(((triple3) -> rule8))] Charlie is smart.[(((triple7 triple8) -> rule2))] Charlie is white.[(((triple7) -> rule6))] Fiona is white.[(((triple9) -> rule6))] Harry is not red.[(((triple14) -> rule1))] @2: Charlie is not red.[(((((triple7 triple8) -> rule2)) -> rule1))]
Bob is big.
("Bob" "is" "big" "+")
triple1
Bob is not cold.
("Bob" "is" "cold" "-")
triple2
Bob is not smart.
("Bob" "is" "smart" "-")
triple4
Bob is not white.
("Bob" "is" "white" "-")
triple5
((triple3 triple1) -> (rule7 % int1))
Bob is not white.
("Bob" "is" "white" "-")
int1
Bob is red.
("Bob" "is" "red" "+")
triple3
Charlie is big.
("Charlie" "is" "big" "+")
triple6
Charlie is cold.
("Charlie" "is" "cold" "+")
triple7
Charlie is nice.
("Charlie" "is" "nice" "+")
triple8
Fiona is cold.
("Fiona" "is" "cold" "+")
triple9
Harry is furry.
("Harry" "is" "furry" "+")
triple12
Harry is nice.
("Harry" "is" "nice" "+")
triple13
Harry is not big.
("Harry" "is" "big" "-")
triple10
Harry is not cold.
("Harry" "is" "cold" "-")
triple11
Harry is smart.
("Harry" "is" "smart" "+")
triple14
Harry is white.
("Harry" "is" "white" "+")
triple15
Bob is furry.
("Bob" "is" "furry" "+")
((triple3) -> (rule8 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
((triple7 triple8) -> (rule2 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
((triple7) -> (rule6 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
((triple9) -> (rule6 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Harry is not red.
("Harry" "is" "red" "-")
((triple14) -> (rule1 % int1))
Harry is not red.
("Harry" "is" "red" "-")
int1
Charlie is not red.
("Charlie" "is" "red" "-")
((((triple7 triple8) -> (rule2 % int2))) -> (rule1 % int1))
Charlie is not red.
("Charlie" "is" "red" "-")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2