Anne is blue. Anne is red. Fiona is blue. Fiona is furry. Fiona is nice. Fiona is white. Gary is big. Gary is blue. Gary is furry. Gary is nice. Gary is not red. Gary is rough. Gary is white. Harry is big. Harry is blue. Harry is not rough. Blue, nice things are furry. Big things are nice.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is red.
("Anne" "is" "red" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is not red.
("Gary" "is" "red" "-")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is white.
("Gary" "is" "white" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is not rough.
("Harry" "is" "rough" "-")
Blue, nice things are furry.
((("something" "is" "blue" "+") ("something" "is" "nice" "+")) -> ("something" "is" "furry" "+"))
Big things are nice.
((("something" "is" "big" "+")) -> ("something" "is" "nice" "+"))
Harry is big.
True
1
proof
[(triple14)]
("Harry" "is" "big" "+")
triple14
Gary is not rough.
False
1
inv-proof
[(triple12)]
("Gary" "is" "rough" "-")
triple12
Harry is nice.
True
2
proof
[(((triple14) -> rule2))]
("Harry" "is" "nice" "+")
((triple14) -> (rule2 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is not nice.
False
2
inv-proof
[(((triple14) -> rule2))]
("Harry" "is" "nice" "-")
((triple14) -> (rule2 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is furry.
True
4
proof
[(((triple15 ((triple14) -> rule2)) -> rule1))]
("Harry" "is" "furry" "+")
((triple15 ((triple14) -> (rule2 % int2))) -> (rule1 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is not furry.
False
4
inv-proof
[(((triple15 ((triple14) -> rule2)) -> rule1))]
("Harry" "is" "furry" "-")
((triple15 ((triple14) -> (rule2 % int2))) -> (rule1 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Anne is not nice.
Unknown
inv-rconc
[@1: Anne is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Anne" "is" "nice" "-")
Anne is furry.
Unknown
rconc
[@2: Anne is furry.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("Anne" "is" "furry" "+")
Fiona is not big.
Unknown
inv-random
[@0: Fiona is big.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "big" "-")
Anne is rough.
Unknown
random
[@0: Anne is rough.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "rough" "+")
Harry is not white.
Unknown
inv-random
[@0: Harry is white.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "white" "-")
Anne is big.
Unknown
random
[@0: Anne is big.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "big" "+")
@0: Anne is blue.[(triple1)] Anne is red.[(triple2)] Fiona is blue.[(triple3)] Fiona is furry.[(triple4 OR ((triple3 triple5) -> rule1))] Fiona is nice.[(triple5)] Fiona is white.[(triple6)] Gary is big.[(triple7)] Gary is blue.[(triple8)] Gary is furry.[(triple9 OR ((triple8 triple10) -> rule1) OR ((triple8 ((triple7) -> rule2)) -> rule1))] Gary is nice.[(triple10 OR ((triple7) -> rule2))] Gary is not red.[(triple11)] Gary is rough.[(triple12)] Gary is white.[(triple13)] Harry is big.[(triple14)] Harry is blue.[(triple15)] Harry is not rough.[(triple16)] @1: Harry is nice.[(((triple14) -> rule2))] @2: Harry is furry.[(((triple15 ((triple14) -> rule2)) -> rule1))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Anne is red.
("Anne" "is" "red" "+")
triple2
Fiona is blue.
("Fiona" "is" "blue" "+")
triple3
Fiona is furry.
("Fiona" "is" "furry" "+")
triple4
((triple3 triple5) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
triple5
Fiona is white.
("Fiona" "is" "white" "+")
triple6
Gary is big.
("Gary" "is" "big" "+")
triple7
Gary is blue.
("Gary" "is" "blue" "+")
triple8
Gary is furry.
("Gary" "is" "furry" "+")
triple9
((triple8 triple10) -> (rule1 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
((triple8 ((triple7) -> (rule2 % int2))) -> (rule1 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
triple10
((triple7) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is not red.
("Gary" "is" "red" "-")
triple11
Gary is rough.
("Gary" "is" "rough" "+")
triple12
Gary is white.
("Gary" "is" "white" "+")
triple13
Harry is big.
("Harry" "is" "big" "+")
triple14
Harry is blue.
("Harry" "is" "blue" "+")
triple15
Harry is not rough.
("Harry" "is" "rough" "-")
triple16
Harry is nice.
("Harry" "is" "nice" "+")
((triple14) -> (rule2 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
((triple15 ((triple14) -> (rule2 % int2))) -> (rule1 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2