Anne is rough. Anne is round. Bob is round. Fiona is blue. Fiona is quiet. Harry is big. Harry is quiet. Blue, young things are kind. Blue things are big.
Anne is rough.
("Anne" "is" "rough" "+")
Anne is round.
("Anne" "is" "round" "+")
Bob is round.
("Bob" "is" "round" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Blue, young things are kind.
((("something" "is" "blue" "+") ("something" "is" "young" "+")) -> ("something" "is" "kind" "+"))
Blue things are big.
((("something" "is" "blue" "+")) -> ("something" "is" "big" "+"))
Fiona is blue.
True
1
proof
[(triple4)]
("Fiona" "is" "blue" "+")
triple4
Harry is not quiet.
False
1
inv-proof
[(triple7)]
("Harry" "is" "quiet" "-")
triple7
Fiona is big.
True
2
proof
[(((triple4) -> rule2))]
("Fiona" "is" "big" "+")
((triple4) -> (rule2 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is not big.
False
2
inv-proof
[(((triple4) -> rule2))]
("Fiona" "is" "big" "-")
((triple4) -> (rule2 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Bob is not kind.
Unknown
inv-rconc
[@1: Bob is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "kind" "-")
Anne is kind.
Unknown
rconc
[@1: Anne is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "kind" "+")
Harry is not round.
Unknown
inv-random
[@0: Harry is round.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "round" "-")
Harry is blue.
Unknown
random
[@0: Harry is blue.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "blue" "+")
@0: Anne is rough.[(triple1)] Anne is round.[(triple2)] Bob is round.[(triple3)] Fiona is blue.[(triple4)] Fiona is quiet.[(triple5)] Harry is big.[(triple6)] Harry is quiet.[(triple7)] @1: Fiona is big.[(((triple4) -> rule2))]
Anne is rough.
("Anne" "is" "rough" "+")
triple1
Anne is round.
("Anne" "is" "round" "+")
triple2
Bob is round.
("Bob" "is" "round" "+")
triple3
Fiona is blue.
("Fiona" "is" "blue" "+")
triple4
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple5
Harry is big.
("Harry" "is" "big" "+")
triple6
Harry is quiet.
("Harry" "is" "quiet" "+")
triple7
Fiona is big.
("Fiona" "is" "big" "+")
((triple4) -> (rule2 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1