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