Charlie is big. Erin is blue. Erin is red. Fiona is big. Fiona is blue. Fiona is rough. Harry is furry. Harry is red. Harry is rough. Harry is white. All white people are round.
Charlie is big.
("Charlie" "is" "big" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is red.
("Erin" "is" "red" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is white.
("Harry" "is" "white" "+")
All white people are round.
((("someone" "is" "white" "+")) -> ("someone" "is" "round" "+"))
Fiona is blue.
True
1
proof
[(triple5)]
("Fiona" "is" "blue" "+")
triple5
Harry is not white.
False
1
inv-proof
[(triple10)]
("Harry" "is" "white" "-")
triple10
Harry is round.
True
2
proof
[(((triple10) -> rule1))]
("Harry" "is" "round" "+")
((triple10) -> (rule1 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is not round.
False
2
inv-proof
[(((triple10) -> rule1))]
("Harry" "is" "round" "-")
((triple10) -> (rule1 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Charlie is not round.
Unknown
inv-rconc
[@1: Charlie is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "round" "-")
Erin is round.
Unknown
rconc
[@1: Erin is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "round" "+")
Erin is not big.
Unknown
inv-random
[@0: Erin is big.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "big" "-")
Erin is furry.
Unknown
random
[@0: Erin is furry.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "furry" "+")
@0: Charlie is big.[(triple1)] Erin is blue.[(triple2)] Erin is red.[(triple3)] Fiona is big.[(triple4)] Fiona is blue.[(triple5)] Fiona is rough.[(triple6)] Harry is furry.[(triple7)] Harry is red.[(triple8)] Harry is rough.[(triple9)] Harry is white.[(triple10)] @1: Harry is round.[(((triple10) -> rule1))]
Charlie is big.
("Charlie" "is" "big" "+")
triple1
Erin is blue.
("Erin" "is" "blue" "+")
triple2
Erin is red.
("Erin" "is" "red" "+")
triple3
Fiona is big.
("Fiona" "is" "big" "+")
triple4
Fiona is blue.
("Fiona" "is" "blue" "+")
triple5
Fiona is rough.
("Fiona" "is" "rough" "+")
triple6
Harry is furry.
("Harry" "is" "furry" "+")
triple7
Harry is red.
("Harry" "is" "red" "+")
triple8
Harry is rough.
("Harry" "is" "rough" "+")
triple9
Harry is white.
("Harry" "is" "white" "+")
triple10
Harry is round.
("Harry" "is" "round" "+")
((triple10) -> (rule1 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1