Fiona is kind. Fiona is red. Fiona is round. Harry is big. Harry is cold. Harry is red. Harry is round. All round, cold things are kind. All kind, big things are white.
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is round.
("Harry" "is" "round" "+")
All round, cold things are kind.
((("something" "is" "round" "+") ("something" "is" "cold" "+")) -> ("something" "is" "kind" "+"))
All kind, big things are white.
((("something" "is" "kind" "+") ("something" "is" "big" "+")) -> ("something" "is" "white" "+"))
Fiona is round.
True
1
proof
[(triple3)]
("Fiona" "is" "round" "+")
triple3
Harry is not round.
False
1
inv-proof
[(triple7)]
("Harry" "is" "round" "-")
triple7
Harry is kind.
True
3
proof
[(((triple7 triple5) -> rule1))]
("Harry" "is" "kind" "+")
((triple7 triple5) -> (rule1 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is not kind.
False
3
inv-proof
[(((triple7 triple5) -> rule1))]
("Harry" "is" "kind" "-")
((triple7 triple5) -> (rule1 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is white.
True
5
proof
[(((((triple7 triple5) -> rule1) triple4) -> rule2))]
("Harry" "is" "white" "+")
((((triple7 triple5) -> (rule1 % int2)) triple4) -> (rule2 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is not white.
False
5
inv-proof
[(((((triple7 triple5) -> rule1) triple4) -> rule2))]
("Harry" "is" "white" "-")
((((triple7 triple5) -> (rule1 % int2)) triple4) -> (rule2 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Fiona is not white.
Unknown
inv-rconc
[@1: Fiona is white.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fiona" "is" "white" "-")
Fiona is big.
Unknown
random
[@0: Fiona is big.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "big" "+")
Harry is not nice.
Unknown
inv-random
[@0: Harry is nice.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "nice" "-")
Fiona is nice.
Unknown
random
[@0: Fiona is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "nice" "+")
@0: Fiona is kind.[(triple1)] Fiona is red.[(triple2)] Fiona is round.[(triple3)] Harry is big.[(triple4)] Harry is cold.[(triple5)] Harry is red.[(triple6)] Harry is round.[(triple7)] @1: Harry is kind.[(((triple7 triple5) -> rule1))] @2: Harry is white.[(((((triple7 triple5) -> rule1) triple4) -> rule2))]
Fiona is kind.
("Fiona" "is" "kind" "+")
triple1
Fiona is red.
("Fiona" "is" "red" "+")
triple2
Fiona is round.
("Fiona" "is" "round" "+")
triple3
Harry is big.
("Harry" "is" "big" "+")
triple4
Harry is cold.
("Harry" "is" "cold" "+")
triple5
Harry is red.
("Harry" "is" "red" "+")
triple6
Harry is round.
("Harry" "is" "round" "+")
triple7
Harry is kind.
("Harry" "is" "kind" "+")
((triple7 triple5) -> (rule1 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
((((triple7 triple5) -> (rule1 % int2)) triple4) -> (rule2 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2