Bob is kind. Bob is young. Fiona is cold. Fiona is kind. Fiona is nice. Fiona is quiet. Fiona is smart. Fiona is white. Fiona is young. Gary is cold. Gary is kind. Gary is nice. Gary is quiet. Gary is smart. Gary is white. Gary is young. All white, quiet things are smart. Quiet things are kind. Quiet, white things are young. If something is cold and young then it is kind. If something is cold then it is smart. Smart, quiet things are cold.
Bob is kind.
("Bob" "is" "kind" "+")
Bob is young.
("Bob" "is" "young" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Gary is white.
("Gary" "is" "white" "+")
Gary is young.
("Gary" "is" "young" "+")
All white, quiet things are smart.
((("something" "is" "white" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "smart" "+"))
Quiet things are kind.
((("something" "is" "quiet" "+")) -> ("something" "is" "kind" "+"))
Quiet, white things are young.
((("something" "is" "quiet" "+") ("something" "is" "white" "+")) -> ("something" "is" "young" "+"))
If something is cold and young then it is kind.
((("something" "is" "cold" "+") ("something" "is" "young" "+")) -> ("something" "is" "kind" "+"))
If something is cold then it is smart.
((("something" "is" "cold" "+")) -> ("something" "is" "smart" "+"))
Smart, quiet things are cold.
((("something" "is" "smart" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "cold" "+"))
Gary is young.
True
1
proof
[(triple16 OR ((triple13 triple15) -> rule3))]
("Gary" "is" "young" "+")
triple16
((triple13 triple15) -> (rule3 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is not young.
False
1
inv-proof
[(triple16 OR ((triple13 triple15) -> rule3))]
("Gary" "is" "young" "-")
triple16
((triple13 triple15) -> (rule3 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Bob is not smart.
Unknown
inv-rconc
[@2: Bob is smart.[CWA. Example of deepest failure = (rule5 <- rule6 <- FAIL)]]
("Bob" "is" "smart" "-")
Bob is nice.
Unknown
random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "+")
@0: Bob is kind.[(triple1)] Bob is young.[(triple2)] Fiona is cold.[(triple3 OR ((triple7 triple6) -> rule6) OR ((((triple8 triple6) -> rule1) triple6) -> rule6))] Fiona is kind.[(triple4 OR ((triple6) -> rule2) OR ((triple3 triple9) -> rule4) OR ((triple3 ((triple6 triple8) -> rule3)) -> rule4) OR ((((triple7 triple6) -> rule6) triple9) -> rule4) OR ((((triple7 triple6) -> rule6) ((triple6 triple8) -> rule3)) -> rule4) OR ((((((triple8 triple6) -> rule1) triple6) -> rule6) triple9) -> rule4) OR ((((((triple8 triple6) -> rule1) triple6) -> rule6) ((triple6 triple8) -> rule3)) -> rule4))] Fiona is nice.[(triple5)] Fiona is quiet.[(triple6)] Fiona is smart.[(triple7 OR ((triple3) -> rule5) OR ((triple8 triple6) -> rule1))] Fiona is white.[(triple8)] Fiona is young.[(triple9 OR ((triple6 triple8) -> rule3))] Gary is cold.[(triple10 OR ((triple14 triple13) -> rule6) OR ((((triple15 triple13) -> rule1) triple13) -> rule6))] Gary is kind.[(triple11 OR ((triple13) -> rule2) OR ((triple10 triple16) -> rule4) OR ((triple10 ((triple13 triple15) -> rule3)) -> rule4) OR ((((triple14 triple13) -> rule6) triple16) -> rule4) OR ((((triple14 triple13) -> rule6) ((triple13 triple15) -> rule3)) -> rule4) OR ((((((triple15 triple13) -> rule1) triple13) -> rule6) triple16) -> rule4) OR ((((((triple15 triple13) -> rule1) triple13) -> rule6) ((triple13 triple15) -> rule3)) -> rule4))] Gary is nice.[(triple12)] Gary is quiet.[(triple13)] Gary is smart.[(triple14 OR ((triple10) -> rule5) OR ((triple15 triple13) -> rule1))] Gary is white.[(triple15)] Gary is young.[(triple16 OR ((triple13 triple15) -> rule3))]
Bob is kind.
("Bob" "is" "kind" "+")
triple1
Bob is young.
("Bob" "is" "young" "+")
triple2
Fiona is cold.
("Fiona" "is" "cold" "+")
triple3
((triple7 triple6) -> (rule6 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
((((triple8 triple6) -> (rule1 % int2)) triple6) -> (rule6 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
triple4
((triple6) -> (rule2 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
((triple3 triple9) -> (rule4 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
((triple3 ((triple6 triple8) -> (rule3 % int2))) -> (rule4 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
((((triple7 triple6) -> (rule6 % int2)) triple9) -> (rule4 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
((((triple7 triple6) -> (rule6 % int3)) ((triple6 triple8) -> (rule3 % int2))) -> (rule4 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
((((((triple8 triple6) -> (rule1 % int3)) triple6) -> (rule6 % int2)) triple9) -> (rule4 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
((((((triple8 triple6) -> (rule1 % int4)) triple6) -> (rule6 % int3)) ((triple6 triple8) -> (rule3 % int2))) -> (rule4 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
int4
Fiona is nice.
("Fiona" "is" "nice" "+")
triple5
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple6
Fiona is smart.
("Fiona" "is" "smart" "+")
triple7
((triple3) -> (rule5 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
((triple8 triple6) -> (rule1 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
triple8
Fiona is young.
("Fiona" "is" "young" "+")
triple9
((triple6 triple8) -> (rule3 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
triple10
((triple14 triple13) -> (rule6 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
((((triple15 triple13) -> (rule1 % int2)) triple13) -> (rule6 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
triple11
((triple13) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
((triple10 triple16) -> (rule4 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
((triple10 ((triple13 triple15) -> (rule3 % int2))) -> (rule4 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
((((triple14 triple13) -> (rule6 % int2)) triple16) -> (rule4 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
((((triple14 triple13) -> (rule6 % int3)) ((triple13 triple15) -> (rule3 % int2))) -> (rule4 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
((((((triple15 triple13) -> (rule1 % int3)) triple13) -> (rule6 % int2)) triple16) -> (rule4 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
((((((triple15 triple13) -> (rule1 % int4)) triple13) -> (rule6 % int3)) ((triple13 triple15) -> (rule3 % int2))) -> (rule4 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is smart.
("Gary" "is" "smart" "+")
int4
Gary is nice.
("Gary" "is" "nice" "+")
triple12
Gary is quiet.
("Gary" "is" "quiet" "+")
triple13
Gary is smart.
("Gary" "is" "smart" "+")
triple14
((triple10) -> (rule5 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
((triple15 triple13) -> (rule1 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
triple15
Gary is young.
("Gary" "is" "young" "+")
triple16
((triple13 triple15) -> (rule3 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1