Bob is smart. Charlie is quiet. Charlie is smart. Charlie is young. Fiona is cold. Fiona is kind. Fiona is quiet. Fiona is red. Fiona is smart. Gary is cold. If Bob is quiet and Bob is red then Bob is furry. If Bob is red and Bob is kind then Bob is smart. Red people are smart. Smart, cold people are red. If someone is smart and red then they are quiet. Cold people are quiet. If someone is quiet then they are young. If Bob is kind and Bob is quiet then Bob is smart.
Bob is smart.
("Bob" "is" "smart" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Gary is cold.
("Gary" "is" "cold" "+")
If Bob is quiet and Bob is red then Bob is furry.
((("Bob" "is" "quiet" "+") ("Bob" "is" "red" "+")) -> ("Bob" "is" "furry" "+"))
If Bob is red and Bob is kind then Bob is smart.
((("Bob" "is" "red" "+") ("Bob" "is" "kind" "+")) -> ("Bob" "is" "smart" "+"))
Red people are smart.
((("someone" "is" "red" "+")) -> ("someone" "is" "smart" "+"))
Smart, cold people are red.
((("someone" "is" "smart" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
If someone is smart and red then they are quiet.
((("someone" "is" "smart" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "quiet" "+"))
Cold people are quiet.
((("someone" "is" "cold" "+")) -> ("someone" "is" "quiet" "+"))
If someone is quiet then they are young.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "young" "+"))
If Bob is kind and Bob is quiet then Bob is smart.
((("Bob" "is" "kind" "+") ("Bob" "is" "quiet" "+")) -> ("Bob" "is" "smart" "+"))
Fiona is kind.
True
1
proof
[(triple6)]
("Fiona" "is" "kind" "+")
triple6
Charlie is not quiet.
False
1
inv-proof
[(triple2)]
("Charlie" "is" "quiet" "-")
triple2
Charlie is not red.
Unknown
inv-rconc
[@1: Charlie is red.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Charlie" "is" "red" "-")
Charlie is furry.
Unknown
random
[@0: Charlie is furry.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "furry" "+")
@0: Bob is smart.[(triple1)] Charlie is quiet.[(triple2)] Charlie is smart.[(triple3)] Charlie is young.[(triple4 OR ((triple2) -> rule7))] Fiona is cold.[(triple5)] Fiona is kind.[(triple6)] Fiona is quiet.[(triple7 OR ((triple5) -> rule6) OR ((triple9 triple8) -> rule5) OR ((triple9 ((triple9 triple5) -> rule4)) -> rule5) OR ((((triple8) -> rule3) triple8) -> rule5) OR ((((triple8) -> rule3) ((triple9 triple5) -> rule4)) -> rule5))] Fiona is red.[(triple8 OR ((triple9 triple5) -> rule4))] Fiona is smart.[(triple9 OR ((triple8) -> rule3))] Gary is cold.[(triple10)] @1: Fiona is young.[(((triple7) -> rule7) OR ((((triple5) -> rule6)) -> rule7) OR ((((triple9 triple8) -> rule5)) -> rule7) OR ((((triple9 ((triple9 triple5) -> rule4)) -> rule5)) -> rule7) OR ((((((triple8) -> rule3) triple8) -> rule5)) -> rule7) OR ((((((triple8) -> rule3) ((triple9 triple5) -> rule4)) -> rule5)) -> rule7))] Gary is quiet.[(((triple10) -> rule6))] @2: Gary is young.[(((((triple10) -> rule6)) -> rule7))]
Bob is smart.
("Bob" "is" "smart" "+")
triple1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple2
Charlie is smart.
("Charlie" "is" "smart" "+")
triple3
Charlie is young.
("Charlie" "is" "young" "+")
triple4
((triple2) -> (rule7 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
triple5
Fiona is kind.
("Fiona" "is" "kind" "+")
triple6
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple7
((triple5) -> (rule6 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
((triple9 triple8) -> (rule5 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
((triple9 ((triple9 triple5) -> (rule4 % int2))) -> (rule5 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
((((triple8) -> (rule3 % int2)) triple8) -> (rule5 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
((((triple8) -> (rule3 % int3)) ((triple9 triple5) -> (rule4 % int2))) -> (rule5 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
triple8
((triple9 triple5) -> (rule4 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
triple9
((triple8) -> (rule3 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
triple10
Fiona is young.
("Fiona" "is" "young" "+")
((triple7) -> (rule7 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
((((triple5) -> (rule6 % int2))) -> (rule7 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
((((triple9 triple8) -> (rule5 % int2))) -> (rule7 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
((((triple9 ((triple9 triple5) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
((((((triple8) -> (rule3 % int3)) triple8) -> (rule5 % int2))) -> (rule7 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
((((((triple8) -> (rule3 % int4)) ((triple9 triple5) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
int4
Gary is quiet.
("Gary" "is" "quiet" "+")
((triple10) -> (rule6 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
((((triple10) -> (rule6 % int2))) -> (rule7 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2