Fiona is big. Fiona is blue. Fiona is cold. Fiona is red. Fiona is rough. Fiona is smart. Fiona is white. Harry is cold. Harry is red. Harry is rough. Cold people are smart. If Fiona is white and Fiona is rough then Fiona is red. If Fiona is cold and Fiona is blue then Fiona is rough. If someone is blue and red then they are big. If someone is big and cold then they are rough. Red people are white.
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Cold people are smart.
((("someone" "is" "cold" "+")) -> ("someone" "is" "smart" "+"))
If Fiona is white and Fiona is rough then Fiona is red.
((("Fiona" "is" "white" "+") ("Fiona" "is" "rough" "+")) -> ("Fiona" "is" "red" "+"))
If Fiona is cold and Fiona is blue then Fiona is rough.
((("Fiona" "is" "cold" "+") ("Fiona" "is" "blue" "+")) -> ("Fiona" "is" "rough" "+"))
If someone is blue and red then they are big.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "big" "+"))
If someone is big and cold then they are rough.
((("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "rough" "+"))
Red people are white.
((("someone" "is" "red" "+")) -> ("someone" "is" "white" "+"))
Fiona is cold.
True
1
proof
[(triple3)]
("Fiona" "is" "cold" "+")
triple3
Fiona is not cold.
False
1
inv-proof
[(triple3)]
("Fiona" "is" "cold" "-")
triple3
Harry is white.
True
2
proof
[(((triple9) -> rule6))]
("Harry" "is" "white" "+")
((triple9) -> (rule6 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is not smart.
False
2
inv-proof
[(((triple8) -> rule1))]
("Harry" "is" "smart" "-")
((triple8) -> (rule1 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is not big.
Unknown
inv-rconc
[@1: Harry is big.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Harry" "is" "big" "-")
Harry is blue.
Unknown
random
[@0: Harry is blue.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "blue" "+")
@0: Fiona is big.[(triple1 OR ((triple2 triple4) -> rule4) OR ((triple2 ((triple7 triple5) -> rule2)) -> rule4) OR ((triple2 ((triple7 ((triple3 triple2) -> rule3)) -> rule2)) -> rule4))] Fiona is blue.[(triple2)] Fiona is cold.[(triple3)] Fiona is red.[(triple4 OR ((triple7 triple5) -> rule2) OR ((triple7 ((triple1 triple3) -> rule5)) -> rule2) OR ((triple7 ((triple3 triple2) -> rule3)) -> rule2))] Fiona is rough.[(triple5 OR ((triple1 triple3) -> rule5) OR ((triple3 triple2) -> rule3) OR ((((triple2 triple4) -> rule4) triple3) -> rule5))] Fiona is smart.[(triple6 OR ((triple3) -> rule1))] Fiona is white.[(triple7 OR ((triple4) -> rule6))] Harry is cold.[(triple8)] Harry is red.[(triple9)] Harry is rough.[(triple10)] @1: Harry is smart.[(((triple8) -> rule1))] Harry is white.[(((triple9) -> rule6))]
Fiona is big.
("Fiona" "is" "big" "+")
triple1
((triple2 triple4) -> (rule4 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
((triple2 ((triple7 triple5) -> (rule2 % int2))) -> (rule4 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
((triple2 ((triple7 ((triple3 triple2) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
triple2
Fiona is cold.
("Fiona" "is" "cold" "+")
triple3
Fiona is red.
("Fiona" "is" "red" "+")
triple4
((triple7 triple5) -> (rule2 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
((triple7 ((triple1 triple3) -> (rule5 % int2))) -> (rule2 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
((triple7 ((triple3 triple2) -> (rule3 % int2))) -> (rule2 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
triple5
((triple1 triple3) -> (rule5 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
((triple3 triple2) -> (rule3 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
((((triple2 triple4) -> (rule4 % int2)) triple3) -> (rule5 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
triple6
((triple3) -> (rule1 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
triple7
((triple4) -> (rule6 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
triple8
Harry is red.
("Harry" "is" "red" "+")
triple9
Harry is rough.
("Harry" "is" "rough" "+")
triple10
Harry is smart.
("Harry" "is" "smart" "+")
((triple8) -> (rule1 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
((triple9) -> (rule6 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1