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