Fiona is blue. Fiona is cold. Fiona is nice. Fiona is young. Gary is nice. Gary is round. Gary is young. Harry is cold. Harry is furry. Harry is quiet. Harry is round. Harry is young. All furry people are quiet. All cold people are quiet. If someone is round and not furry then they are quiet. If someone is furry and not nice then they are not young. Cold people are young. Furry people are blue. All blue people are round. If Harry is blue and Harry is nice then Harry is cold.
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is young.
("Gary" "is" "young" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is young.
("Harry" "is" "young" "+")
All furry people are quiet.
((("someone" "is" "furry" "+")) -> ("someone" "is" "quiet" "+"))
All cold people are quiet.
((("someone" "is" "cold" "+")) -> ("someone" "is" "quiet" "+"))
If someone is round and not furry then they are quiet.
((("someone" "is" "round" "+") ("someone" "is" "furry" "~")) -> ("someone" "is" "quiet" "+"))
If someone is furry and not nice then they are not young.
((("someone" "is" "furry" "+") ("someone" "is" "nice" "~")) -> ("someone" "is" "young" "-"))
Cold people are young.
((("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
Furry people are blue.
((("someone" "is" "furry" "+")) -> ("someone" "is" "blue" "+"))
All blue people are round.
((("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
If Harry is blue and Harry is nice then Harry is cold.
((("Harry" "is" "blue" "+") ("Harry" "is" "nice" "+")) -> ("Harry" "is" "cold" "+"))
Harry is furry.
True
1
proof
[(triple9)]
("Harry" "is" "furry" "+")
triple9
Gary is not young.
False
1
inv-proof
[(triple7)]
("Gary" "is" "young" "-")
triple7
Fiona is quiet.
True
2
proof
[(((triple2) -> rule2))]
("Fiona" "is" "quiet" "+")
((triple2) -> (rule2 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Harry is not blue.
False
2
inv-proof
[(((triple9) -> rule6))]
("Harry" "is" "blue" "-")
((triple9) -> (rule6 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Gary is not quiet.
Unknown
inv-rconc
[@1: Gary is quiet.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "quiet" "-")
Gary is blue.
Unknown
rconc
[@1: Gary is blue.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Gary" "is" "blue" "+")
Gary is not cold.
Unknown
inv-random
[@0: Gary is cold.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "cold" "-")
Gary is furry.
Unknown
random
[@0: Gary is furry.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "furry" "+")
@0: Fiona is blue.[(triple1)] Fiona is cold.[(triple2)] Fiona is nice.[(triple3)] Fiona is young.[(triple4 OR ((triple2) -> rule5))] Gary is nice.[(triple5)] Gary is round.[(triple6)] Gary is young.[(triple7)] Harry is cold.[(triple8)] Harry is furry.[(triple9)] Harry is quiet.[(triple10 OR ((triple8) -> rule2) OR ((triple9) -> rule1))] Harry is round.[(triple11 OR ((((triple9) -> rule6)) -> rule7))] Harry is young.[(triple12 OR ((triple8) -> rule5))] @1: Fiona is quiet.[(((triple2) -> rule2))] Fiona is round.[(((triple1) -> rule7))] Harry is blue.[(((triple9) -> rule6))]
Fiona is blue.
("Fiona" "is" "blue" "+")
triple1
Fiona is cold.
("Fiona" "is" "cold" "+")
triple2
Fiona is nice.
("Fiona" "is" "nice" "+")
triple3
Fiona is young.
("Fiona" "is" "young" "+")
triple4
((triple2) -> (rule5 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
triple5
Gary is round.
("Gary" "is" "round" "+")
triple6
Gary is young.
("Gary" "is" "young" "+")
triple7
Harry is cold.
("Harry" "is" "cold" "+")
triple8
Harry is furry.
("Harry" "is" "furry" "+")
triple9
Harry is quiet.
("Harry" "is" "quiet" "+")
triple10
((triple8) -> (rule2 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
((triple9) -> (rule1 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
triple11
((((triple9) -> (rule6 % int2))) -> (rule7 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
triple12
((triple8) -> (rule5 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
((triple2) -> (rule2 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
((triple1) -> (rule7 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
((triple9) -> (rule6 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1