Bob is cold. Bob is furry. Bob is nice. Bob is not smart. Bob is white. Bob is young. Charlie is cold. Charlie is quiet. Charlie is smart. Fiona is furry. Fiona is quiet. Fiona is white. If Fiona is smart then Fiona is furry. All smart people are not furry. If someone is quiet and not furry then they are young. Smart people are nice. If someone is furry and smart then they are not nice. Young people are nice. If someone is furry then they are nice. If someone is nice and not young then they are not cold.
Bob is cold.
("Bob" "is" "cold" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is not smart.
("Bob" "is" "smart" "-")
Bob is white.
("Bob" "is" "white" "+")
Bob is young.
("Bob" "is" "young" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is white.
("Fiona" "is" "white" "+")
If Fiona is smart then Fiona is furry.
((("Fiona" "is" "smart" "+")) -> ("Fiona" "is" "furry" "+"))
All smart people are not furry.
((("someone" "is" "smart" "+")) -> ("someone" "is" "furry" "-"))
If someone is quiet and not furry then they are young.
((("someone" "is" "quiet" "+") ("someone" "is" "furry" "~")) -> ("someone" "is" "young" "+"))
Smart people are nice.
((("someone" "is" "smart" "+")) -> ("someone" "is" "nice" "+"))
If someone is furry and smart then they are not nice.
((("someone" "is" "furry" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "nice" "-"))
Young people are nice.
((("someone" "is" "young" "+")) -> ("someone" "is" "nice" "+"))
If someone is furry then they are nice.
((("someone" "is" "furry" "+")) -> ("someone" "is" "nice" "+"))
If someone is nice and not young then they are not cold.
((("someone" "is" "nice" "+") ("someone" "is" "young" "~")) -> ("someone" "is" "cold" "-"))
Fiona is furry.
True
1
proof
[(triple10)]
("Fiona" "is" "furry" "+")
triple10
Bob is not cold.
False
1
inv-proof
[(triple1)]
("Bob" "is" "cold" "-")
triple1
Charlie is nice.
True
2
proof
[(((triple9) -> rule4) OR ((((triple8 ((triple9) -> rule2)) -> rule3)) -> rule6))]
("Charlie" "is" "nice" "+")
((triple9) -> (rule4 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
((((triple8 ((triple9) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is not furry.
("Charlie" "is" "furry" "-")
int3
Fiona is not nice.
False
2
inv-proof
[(((triple10) -> rule7))]
("Fiona" "is" "nice" "-")
((triple10) -> (rule7 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Charlie is young.
True
4
proof
[(((triple8 ((triple9) -> rule2)) -> rule3))]
("Charlie" "is" "young" "+")
((triple8 ((triple9) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is not furry.
("Charlie" "is" "furry" "-")
int2
Charlie is not young.
False
4
inv-proof
[(((triple8 ((triple9) -> rule2)) -> rule3))]
("Charlie" "is" "young" "-")
((triple8 ((triple9) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is not furry.
("Charlie" "is" "furry" "-")
int2
Fiona is not young.
Unknown
inv-rconc
[@1: Fiona is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fiona" "is" "young" "-")
Bob is quiet.
Unknown
random
[@0: Bob is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "quiet" "+")
Fiona is not smart.
Unknown
inv-random
[@0: Fiona is smart.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "smart" "-")
Fiona is cold.
Unknown
random
[@0: Fiona is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "cold" "+")
@0: Bob is cold.[(triple1)] Bob is furry.[(triple2)] Bob is nice.[(triple3 OR ((triple2) -> rule7) OR ((triple6) -> rule6))] Bob is not smart.[(triple4)] Bob is white.[(triple5)] Bob is young.[(triple6)] Charlie is cold.[(triple7)] Charlie is quiet.[(triple8)] Charlie is smart.[(triple9)] Fiona is furry.[(triple10)] Fiona is quiet.[(triple11)] Fiona is white.[(triple12)] @1: Charlie is nice.[(((triple9) -> rule4) OR ((((triple8 ((triple9) -> rule2)) -> rule3)) -> rule6))] Charlie is not furry.[(((triple9) -> rule2))] Fiona is nice.[(((triple10) -> rule7))] @2: Charlie is young.[(((triple8 ((triple9) -> rule2)) -> rule3))]
Bob is cold.
("Bob" "is" "cold" "+")
triple1
Bob is furry.
("Bob" "is" "furry" "+")
triple2
Bob is nice.
("Bob" "is" "nice" "+")
triple3
((triple2) -> (rule7 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
((triple6) -> (rule6 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is not smart.
("Bob" "is" "smart" "-")
triple4
Bob is white.
("Bob" "is" "white" "+")
triple5
Bob is young.
("Bob" "is" "young" "+")
triple6
Charlie is cold.
("Charlie" "is" "cold" "+")
triple7
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple8
Charlie is smart.
("Charlie" "is" "smart" "+")
triple9
Fiona is furry.
("Fiona" "is" "furry" "+")
triple10
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple11
Fiona is white.
("Fiona" "is" "white" "+")
triple12
Charlie is nice.
("Charlie" "is" "nice" "+")
((triple9) -> (rule4 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
((((triple8 ((triple9) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is not furry.
("Charlie" "is" "furry" "-")
int3
Charlie is not furry.
("Charlie" "is" "furry" "-")
((triple9) -> (rule2 % int1))
Charlie is not furry.
("Charlie" "is" "furry" "-")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
((triple10) -> (rule7 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
((triple8 ((triple9) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is not furry.
("Charlie" "is" "furry" "-")
int2