Charlie is furry. Charlie is rough. Charlie is not round. Charlie is smart. Charlie is young. Erin is not furry. Erin is rough. Erin is round. Erin is young. Fiona is blue. Fiona is furry. Fiona is rough. Fiona is smart. Fiona is white. Fiona is young. Furry things are white. If something is smart and not furry then it is not blue. All smart things are rough. If something is young and not round then it is rough. If something is smart then it is rough. If Fiona is rough then Fiona is smart.
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is not round.
("Charlie" "is" "round" "-")
Charlie is smart.
("Charlie" "is" "smart" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Erin is not furry.
("Erin" "is" "furry" "-")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is young.
("Erin" "is" "young" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Furry things are white.
((("something" "is" "furry" "+")) -> ("something" "is" "white" "+"))
If something is smart and not furry then it is not blue.
((("something" "is" "smart" "+") ("something" "is" "furry" "~")) -> ("something" "is" "blue" "-"))
All smart things are rough.
((("something" "is" "smart" "+")) -> ("something" "is" "rough" "+"))
If something is young and not round then it is rough.
((("something" "is" "young" "+") ("something" "is" "round" "~")) -> ("something" "is" "rough" "+"))
If something is smart then it is rough.
((("something" "is" "smart" "+")) -> ("something" "is" "rough" "+"))
If Fiona is rough then Fiona is smart.
((("Fiona" "is" "rough" "+")) -> ("Fiona" "is" "smart" "+"))
Fiona is furry.
True
1
proof
[(triple11)]
("Fiona" "is" "furry" "+")
triple11
Charlie is not rough.
False
1
inv-proof
[(triple2 OR ((triple4) -> rule3) OR ((triple4) -> rule5) OR ((triple5 triple3) -> rule4))]
("Charlie" "is" "rough" "-")
triple2
((triple4) -> (rule3 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
((triple4) -> (rule5 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
((triple5 triple3) -> (rule4 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is white.
True
2
proof
[(((triple1) -> rule1))]
("Charlie" "is" "white" "+")
((triple1) -> (rule1 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is not white.
False
2
inv-proof
[(((triple1) -> rule1))]
("Charlie" "is" "white" "-")
((triple1) -> (rule1 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Erin is not white.
Unknown
inv-rconc
[@1: Erin is white.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "white" "-")
Erin is smart.
Unknown
random
[@0: Erin is smart.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "smart" "+")
Fiona is not round.
Unknown
inv-random
[@0: Fiona is round.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "round" "-")
Charlie is blue.
Unknown
random
[@0: Charlie is blue.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "blue" "+")
@0: Charlie is furry.[(triple1)] Charlie is not round.[(triple3)] Charlie is rough.[(triple2 OR ((triple4) -> rule3) OR ((triple4) -> rule5) OR ((triple5 triple3) -> rule4))] Charlie is smart.[(triple4)] Charlie is young.[(triple5)] Erin is not furry.[(triple6)] Erin is rough.[(triple7)] Erin is round.[(triple8)] Erin is young.[(triple9)] Fiona is blue.[(triple10)] Fiona is furry.[(triple11)] Fiona is rough.[(triple12 OR ((triple13) -> rule3) OR ((triple13) -> rule5))] Fiona is smart.[(triple13 OR ((triple12) -> rule6))] Fiona is white.[(triple14 OR ((triple11) -> rule1))] Fiona is young.[(triple15)] @1: Charlie is white.[(((triple1) -> rule1))]
Charlie is furry.
("Charlie" "is" "furry" "+")
triple1
Charlie is not round.
("Charlie" "is" "round" "-")
triple3
Charlie is rough.
("Charlie" "is" "rough" "+")
triple2
((triple4) -> (rule3 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
((triple4) -> (rule5 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
((triple5 triple3) -> (rule4 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
triple4
Charlie is young.
("Charlie" "is" "young" "+")
triple5
Erin is not furry.
("Erin" "is" "furry" "-")
triple6
Erin is rough.
("Erin" "is" "rough" "+")
triple7
Erin is round.
("Erin" "is" "round" "+")
triple8
Erin is young.
("Erin" "is" "young" "+")
triple9
Fiona is blue.
("Fiona" "is" "blue" "+")
triple10
Fiona is furry.
("Fiona" "is" "furry" "+")
triple11
Fiona is rough.
("Fiona" "is" "rough" "+")
triple12
((triple13) -> (rule3 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
((triple13) -> (rule5 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
triple13
((triple12) -> (rule6 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
triple14
((triple11) -> (rule1 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
triple15
Charlie is white.
("Charlie" "is" "white" "+")
((triple1) -> (rule1 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1