Fiona is blue. Gary is big. Gary is blue. Gary is green. Gary is red. Gary is round. Gary is smart. Gary is young. Harry is green. Harry is round. Blue, young things are big. If something is blue then it is red. If Gary is round and Gary is big then Gary is blue.
Fiona is blue.
("Fiona" "is" "blue" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Gary is young.
("Gary" "is" "young" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is round.
("Harry" "is" "round" "+")
Blue, young things are big.
((("something" "is" "blue" "+") ("something" "is" "young" "+")) -> ("something" "is" "big" "+"))
If something is blue then it is red.
((("something" "is" "blue" "+")) -> ("something" "is" "red" "+"))
If Gary is round and Gary is big then Gary is blue.
((("Gary" "is" "round" "+") ("Gary" "is" "big" "+")) -> ("Gary" "is" "blue" "+"))
Gary is green.
True
1
proof
[(triple4)]
("Gary" "is" "green" "+")
triple4
Gary is not smart.
False
1
inv-proof
[(triple7)]
("Gary" "is" "smart" "-")
triple7
Fiona is red.
True
2
proof
[(((triple1) -> rule2))]
("Fiona" "is" "red" "+")
((triple1) -> (rule2 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is not red.
False
2
inv-proof
[(((triple1) -> rule2))]
("Fiona" "is" "red" "-")
((triple1) -> (rule2 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is not big.
Unknown
inv-rconc
[@1: Fiona is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "big" "-")
Harry is red.
Unknown
rconc
[@1: Harry is red.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "red" "+")
Fiona is not round.
Unknown
inv-random
[@0: Fiona is round.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "round" "-")
Harry is blue.
Unknown
random
[@0: Harry is blue.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "blue" "+")
@0: Fiona is blue.[(triple1)] Gary is big.[(triple2 OR ((triple3 triple8) -> rule1))] Gary is blue.[(triple3 OR ((triple6 triple2) -> rule3))] Gary is green.[(triple4)] Gary is red.[(triple5 OR ((triple3) -> rule2) OR ((((triple6 triple2) -> rule3)) -> rule2))] Gary is round.[(triple6)] Gary is smart.[(triple7)] Gary is young.[(triple8)] Harry is green.[(triple9)] Harry is round.[(triple10)] @1: Fiona is red.[(((triple1) -> rule2))]
Fiona is blue.
("Fiona" "is" "blue" "+")
triple1
Gary is big.
("Gary" "is" "big" "+")
triple2
((triple3 triple8) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
triple3
((triple6 triple2) -> (rule3 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
triple4
Gary is red.
("Gary" "is" "red" "+")
triple5
((triple3) -> (rule2 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
((((triple6 triple2) -> (rule3 % int2))) -> (rule2 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
triple6
Gary is smart.
("Gary" "is" "smart" "+")
triple7
Gary is young.
("Gary" "is" "young" "+")
triple8
Harry is green.
("Harry" "is" "green" "+")
triple9
Harry is round.
("Harry" "is" "round" "+")
triple10
Fiona is red.
("Fiona" "is" "red" "+")
((triple1) -> (rule2 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1