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